A Reasoning System of Ternary Projective Relations
نویسندگان
چکیده
منابع مشابه
A Model for Ternary Projective Relations between Regions
Current spatial database systems offer limited querying capabilities beyond topological relations. This paper introduces a model for projective relations between regions to support other qualitative spatial queries. The relations are ternary because they are based on the collinearity invariant of three points under projective geometry. The model is built on a partition of the plane in five regi...
متن کاملa study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولTernary relations and relevant semantics
Modus ponens provides the central theme. There are laws, of the form A → C. A logic (or other theory) L collects such laws. Any datum A (or theory T incorporating such data) provides input to the laws of L. The central ternary relation R relates theories L; T and U , where U consists of all of the outputs C got by applying modus ponens to major premises from L and minor premises from T . Underl...
متن کاملA Tableau-Based System for Spatial Reasoning about Directional Relations
The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization and implementation of qualitative spatial reasoning. Unfortunately, when directional relations are considered, modal logic systems for spatial reasoning usually turn out to be undecidable (often even not recursively enumerable...
متن کاملProjective Relations in a 3D Environment
This paper presents a model for positional relations among bodies of arbitrary shape in three dimensions. It is based on an existing model for projective relations among regions in two dimensions. The motivation is to provide a formal qualitative spatial relations model for emerging 3D applications. Two sets of relations are defined: ternary projective relations based on the concept of collinea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Knowledge and Data Engineering
سال: 2010
ISSN: 1041-4347
DOI: 10.1109/tkde.2009.79